How to convert virtual disk image file to ISO file